* make-dist: Remove the unnecessary $shortversion.
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 08:01:11 +0000 (01:01 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 08:01:11 +0000 (01:01 -0700)
commit5ee885fa0f7f84d0f339e7dd22cbd7efe7c63915
tree037e8cb17810c54b53fe9d9a168f9c4919a51496
parentf94bd49d306c75050c55cf3b26cfaae201771be2
* make-dist: Remove the unnecessary $shortversion.
make-dist